Opération interne : application qui associe à deux éléments un troisième élément $$m:G\times G\to G$$
(Fonction - Application, Groupe, Produit cartésien)
Soit \(E\) un \(\Bbb R\)-espace vectoriel
Pour tous \(u,v,w\in E\) et tout \(\lambda\in\Bbb R\), on a : $$u\dotplus w={{v\dotplus w}}\iff {{u=v}}$$
Opération externe
Commutativité - Symétrie
Associativité
Elément neutre - Uniférité